min-width: 1px;
min-height: 1px;
-gtk-icon-source: none; // defeats the ugly default handle decoration
+ border-style: none; // just to be sure
background-color: transparent;
+ // using background istead of a border since the border will get rendered twice (?)
background-image: linear-gradient(to top, $borders_color);
background-size: 1px 1px;
- &:selected { background-image: linear-gradient(to top, $selected_bg_color); }
+
+ &:selected { background-image: linear-gradient(to top, $selected_bg_color); } // FIXME is this needed?
&:backdrop { background-image: linear-gradient(to top, $backdrop_borders_color); }
+
+ &.wide {
+ margin: 0;
+ padding: 0;
+ min-width: 5px;
+ min-height: 5px;
+ background-image: none;
+ border: 1px solid $borders_color;
+ &:backdrop { border-color: $backdrop_borders_color; }
+ }
}
+
&.horizontal > separator {
background-repeat: repeat-y;
&:dir(ltr) {
padding: 0 0 0 8px;
background-position: right;
}
+
+ &.wide {
+ border-top-style: none;
+ border-bottom-style: none;
+ }
}
+
&.vertical > separator {
margin: 0 0 -8px 0;
padding: 0 0 8px 0;
background-repeat: repeat-x;
background-position: top;
- }
- > separator.wide {
- // FIXME: I don't understand this clearly
- min-width: 5px;
- min-height: 5px;
- background-color: transparent;
- border-style: none solid;
- border-color: $borders_color;
- border-width: 1px;
+
+ &.wide {
+ border-left-style: none;
+ border-right-style: none;
+ }
}
}
min-width: 1px;
min-height: 1px;
-gtk-icon-source: none;
+ border-style: none;
background-color: transparent;
background-image: linear-gradient(to top, #1c1f1f);
background-size: 1px 1px; }
background-image: linear-gradient(to top, #215d9c); }
paned > separator:backdrop {
background-image: linear-gradient(to top, #1f2222); }
+ paned > separator.wide {
+ margin: 0;
+ padding: 0;
+ min-width: 5px;
+ min-height: 5px;
+ background-image: none;
+ border: 1px solid #1c1f1f; }
+ paned > separator.wide:backdrop {
+ border-color: #1f2222; }
paned.horizontal > separator {
background-repeat: repeat-y; }
paned.horizontal > separator:dir(ltr) {
margin: 0 0 0 -8px;
padding: 0 0 0 8px;
background-position: right; }
+ paned.horizontal > separator.wide {
+ border-top-style: none;
+ border-bottom-style: none; }
paned.vertical > separator {
margin: 0 0 -8px 0;
padding: 0 0 8px 0;
background-repeat: repeat-x;
background-position: top; }
-paned > separator.wide {
- min-width: 5px;
- min-height: 5px;
- background-color: transparent;
- border-style: none solid;
- border-color: #1c1f1f;
- border-width: 1px; }
+ paned.vertical > separator.wide {
+ border-left-style: none;
+ border-right-style: none; }
/**************
* GtkInfoBar *
min-width: 1px;
min-height: 1px;
-gtk-icon-source: none;
+ border-style: none;
background-color: transparent;
background-image: linear-gradient(to top, #9d9d99);
background-size: 1px 1px; }
background-image: linear-gradient(to top, #4a90d9); }
paned > separator:backdrop {
background-image: linear-gradient(to top, #a5a5a1); }
+ paned > separator.wide {
+ margin: 0;
+ padding: 0;
+ min-width: 5px;
+ min-height: 5px;
+ background-image: none;
+ border: 1px solid #9d9d99; }
+ paned > separator.wide:backdrop {
+ border-color: #a5a5a1; }
paned.horizontal > separator {
background-repeat: repeat-y; }
paned.horizontal > separator:dir(ltr) {
margin: 0 0 0 -8px;
padding: 0 0 0 8px;
background-position: right; }
+ paned.horizontal > separator.wide {
+ border-top-style: none;
+ border-bottom-style: none; }
paned.vertical > separator {
margin: 0 0 -8px 0;
padding: 0 0 8px 0;
background-repeat: repeat-x;
background-position: top; }
-paned > separator.wide {
- min-width: 5px;
- min-height: 5px;
- background-color: transparent;
- border-style: none solid;
- border-color: #9d9d99;
- border-width: 1px; }
+ paned.vertical > separator.wide {
+ border-left-style: none;
+ border-right-style: none; }
/**************
* GtkInfoBar *